package com.googlecode.kipler.test.owltestcases.extendedsatisfiability;

import java.util.Set;

import com.googlecode.kipler.syntax.formula.Formula;
import com.googlecode.kipler.test.FormulaFileReader;


public class FormulaLoader {
	public static Set<Formula> getFormulasFromFile(String fileName) {
		return FormulaFileReader
				.getFormulas("src/com/googlecode/kipler/test/owltestcases/extendedsatisfiability/"
						+ fileName);
	}
}
